- A. Cordon-Franco, A new conservation result for parameter free
induction (joint work with F. Lara-Martin).
- C. Dimitracopoulos,
End extensions and the Arithmetized Completeness
Theorem (joint work with V. Paschalis).
- A. Esbelin,
$z=\bigsum_{i=0}^{i=y} [ai/b]$ is $\Delta_0$-definable.
- D. Kapantais, On the notion of "... Proving its own Consistency".
- R. Kossak, Elementary pairs of models of PA.
-
A. Sirokofskich, Hilbert's tenth problem for subrings of Laurent
polynomials
- P. Valarcher, Functionals using Bounded Information and the Dynamics
of Algorithms.
